216 research outputs found
Expanding FLew with a Boolean connective
We expand FLew with a unary connective whose algebraic counterpart is the
operation that gives the greatest complemented element below a given argument.
We prove that the expanded logic is conservative and has the Finite Model
Property. We also prove that the corresponding expansion of the class of
residuated lattices is an equational class.Comment: 15 pages, 4 figures in Soft Computing, published online 23 July 201
On Paraconsistency and Fuzzy Logics
MaToMUVI is a FP7-PEOPLE-2009-IRSES project (PIRSES-GA-2009- 247584)Peer reviewe
A logical approach to fuzzy truth hedges
The starting point of this paper are the works of Hájek and Vychodil on the axiomatization of truth-stressing and-depressing hedges as expansions of Hájek's BL logic by new unary connectives. They showed that their logics are chain-complete, but standard completeness was only proved for the expansions over Gödel logic. We propose weaker axiomatizations over an arbitrary core fuzzy logic which have two main advantages: (i) they preserve the standard completeness properties of the original logic and (ii) any subdiagonal (resp. superdiagonal) non-decreasing function on [0, 1] preserving 0 and 1 is a sound interpretation of the truth-stresser (resp. depresser) connectives. Hence, these logics accommodate most of the truth hedge functions used in the literature about of fuzzy logic in a broader sense. © 2013 Elsevier Inc. All rights reserved.The authors acknowledge partial support of the MICINN projects TASSAT (TIN2010-20967-C04-01) and ARINF (TIN2009-14704-C03-03), and the FP7-PEOPLE-2009-IRSES project MaToMUVI (PIRSES-GA-2009-247584). Carles Noguera also acknowledges support of the research contract “Juan de la Cierva” JCI-2009-05453.Peer Reviewe
- …